41. Cryptanalysis of Block Ciphers using Mixed-Integer Linear Programming
Author: IHAB SHAKIR,SHAKIR,
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Differential cryptanalysis, Linear Cryptanalysis, Mixed-Integer Linear Programming, MILP, AES,تحليل تفاضلی , تحلیل خطی , برنامه ریزی خطی milp , AES
42. Design and Analysis of Simulation Experiments
Author: / Jack P.C. Kleijnen
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: Simulation methods,Linear programming,Integer programming
Classification :
T57
.
62
.
K54
2008
43. Digital signal processing :
Author: Li Tan, Jean Jiang
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Signal processing-- Digital techniques
Classification :
TK5102
.
9
.
T36
2013
44. Disjunctive programming /
Author: Egon Balas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Convex domains.,Integer programming.,Linear programming.,Convex domains.,Integer programming.,Linear programming.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.
Classification :
T57
.
74
.
B35
2018eb
45. Efficient solving of large arithmetic constraint systems with complex Boolean structure :
Author: Christian Herde ; With a foreword by Martin Fränzle.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Informatique.
Classification :
QA76
.
9
.
A96
H47
2011
46. Electric distribution network planning /
Author: Farhad Shahnia, Ali Arefi, Gerard Ledwich, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electric power distribution.,Electric power transmission.,Electric power distribution.,Electric power transmission.,TECHNOLOGY & ENGINEERING-- Mechanical.
Classification :
TK3001
47. Elements of Structural Optimization
Author: by Raphael T. Haftka, Zafer Gürdal.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Civil Engineering.,Engineering.,Mechanics.
48. Energy Storage Systems Planning for Resiliency Improvement of Power Distribution System
Author: Waleed Abdulrazzaq Oraibi Al-Hafadhi,Abdulrazzaq Oraibi Al-Hafadhi,
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: فاقد کلید واژه فارسی و لاتین است
49. Energy technology 2015 :
Author: edited by Animesh Jha and eleven others
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Energy development-- Technological innovations, Congresses.,Power resources, Congresses.
Classification :
TJ163
.
2
50. European Symposium on Computer Aided Process Engineering--10 :
Author: organized by AIDIC, the Italian Association of Chemical Engineering ; edited by Sauro Pierucci.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemical process control-- Data processing, Congresses.,Computer integrated manufacturing systems, Congresses.,Chemical process control-- Data processing.,Computer integrated manufacturing systems.,SCIENCE-- Chemistry-- Industrial & Technical.,TECHNOLOGY & ENGINEERING-- Chemical & Biochemical.
Classification :
TP155
.
75
.
E97
2000eb
51. Facets of Combinatorial Optimizatio
Author: / edited by Michael J?╝nger, Gerhard Reinelt
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computational complexity,Algorithms,Mathematical optimization,Electronic books
Classification :
E-BOOK
52. Geometric Algorithms and Combinatorial Optimization
Author: by Martin Grötschel, László Lovász, Alexander Schrijver.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis.,Mathematical optimization.,Systems theory.
Classification :
QA167
.
B963
1993
53. Handbook of Combinatorial Optimization
Author: edited by Panos M. Pardalos, Ding-Zhu Du, Ronald L. Graham.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorics.,Mathematical optimization.,Mathematics.
54. Handbook of Parallel Constraint Reasoning
Author: edited by Youssef Hamadi, Lakhdar Sais
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Artificial intelligence,، Computer science,، Computers,، Mathematical optimization
Classification :
Q
335
.
S4668
2018
55. High-level Petri Nets :
Author: edited by Kurt Jensen, Grzegorz Rozenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA267
.
E358
1991
56. Industrial Applications of Neural Networks :
Author: edited by Ian F. Croall, John P. Mason.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Optical pattern recognition.
Classification :
QA76
.
87
E358
1992
57. Integer Programming
Author: by Stanisław Walukiewicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science.,Industrial management.
58. Integer programming
Author: / Harvey M. Salkin
Library: Library of College of Science University of Tehran (Tehran)
Subject: Linear programming,Integer programming
Classification :
T
57
.
74
.
S26
59. Integer programming
Author: / by Michele Conforti, Gerard Cornuejols and Giacomo Zambelli
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Linear programming,Integer programming
Classification :
T57
.
74
.
C65
2014
60. Integer programming and network flows
Author: / T. C. Hu
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Linear programming,Network analysis (Planning),Integer programming
Classification :
519
.
72
H874i
